[[Logic MOC]]
# Conditional proof

**Conditional proof** is the technique whereby one assumes a proposition $P$, deduces $Q$, and therefore concludes $P \implies Q$.


#
---
#state/tidy | #lang/en | #SemBr